Krivine machine
Explicit substitution
Operational semantics
SECD machine
/suto3/google.iconKrivine machine
image Krivine machine
define Krivine machine
wikipedia Krivine machine
weblio Krivine machine
kotobank Krivine machine
jisho Krivine machine